formal verification basics